proof.sty
proofeg.tex